personal page
GoogleScholar page
On a version of the Homotopy Type System with application to semi-simplicial types in homotopy type theory:
Created on May 7, 2023 at 18:15:06. See the history of this page for a list of all contributions to it.